# (decoded with TMPL 134)
(EOF-terminated list)